Path Planning in 3D Space

V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým je detekce kolizí, s užitím lineární algebry je vytvořen systém pro kolize objektů v libovolném počtu rozměrů. Jsou popsány základní možnosti vizualizace trojrozměrných dat. Vybrané algoritmy byly implementovány v haskellu a užity k vytažení ježka z klece.Following thesis presents basics of motion planning, focusing on sampling-based algorithms. System for collision of objects in arbitrary dimensional space is created using linear algebra. Basic options for visualizaton of three-dimensional data are described. Selected algoritms were implemented in haskell and used to pull hedgehog out of the cage (popular disentanglement puzzle in Czech Republic).

Regulated Automata Systems

Tato práce zavádí a studuje dva nové typy automatů, spolupracující distribuované systémy zásobníkových automatů (CDPDAS) a paralelní komunikující systémy zásobníkových automatů (PCPDAS), které jsou inspirovany spolupracujícími distribuovanými gramatickými systémy (CDGS), paralelními komunikujícími gramatickými systémy (PCGS) a jejich modifikacemi.  CDGS používají bezkontextová pravidla a přesto zvyšují sílu nad úroveň bezkontextových gramatik, leč zavedení distribuované spolupráce k zásobníkovým automatům sílu nezvyšuje.  Dokázána je schopnost simulovat distribuovanou spolupráci pouze za použití stavu.  Práce z tohoto výsledku dále vychází a zavádí variantu CDPDAS lišící se od všech variant CDGS, která zvyšuje sílu na roveň Turingových strojů (TM).  PCGS mají sílu podobnou s CDGS, ale jimi inspirované PCPDAS jsou ekvivalení s TM, což je dokázáno umožněním přístupu k druhému zásobníku pomocí neintuitivního komunikačního protokolu.This thesis defines and studies two new types of automata, cooperating distributed pushdown automata systems (CDPDAS) and parallel communicating pushdown automata systems (PCPDAS).  CDPDAS and PCPDAS adapt the main concept of cooperating distributed grammar systems (CDGS) and parallel communicating automata systems (PCPDAS), respectively.  CDPDAS are proven to have the same power as PDA and this thesis further explores the reason why CDPDAS do not increase power while CDGS do and introduces an automata system inspired by CDPDAS that does increase the power.  PCGS have similar power as CDGS, but PCPDAS are equvalent with TM, which is proven by creating a communication protocol to access a second stack.

Vybrané aspekty leasingu jako formy financování

Import 20/04/2006Prezenční výpůjčkaEkonomická fakulta VŠB (Ostrava). Katedra makroekonomiky (156